Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence: Computer Networks, 190h/year, L2, University of Grenoble – C. Roisin

• Licence: Logic, 45h/year, L3, University of Grenoble – N. Gesbert

• Licence: C Programming project, 12h/year, L3, University of Grenoble – N. Gesbert

• Master: Logic, 22h30/year, M1, University of Grenoble – N. Gesbert

• Master: Web development, 22h30/year, M1, University of Grenoble – N. Gesbert

• Master: Software analysis, conception and validation, 45h/year, M1, University of Grenoble – N. Gesbert

• Master: Foundations for XML: logics and automata, 18h/year, M2 (Mosig), University of Grenoble – P. Genevès

• Master: SIGAL Multimedia systems and web languages, 9h/year, M2 (Mosig), University of Grenoble – N. Layaïda

Supervision

• PhD: M. Chekol, Static analysis of semantic web queries, Université de Grenoble, 19 December 2012, N. Layaïda and J. Euzenat

• PhD in progress: N. Guido, Satisfiability for Expressive $\mu$-calculi, since October 2012, C. Roisin and P. Genevès

• PhD in progress: M. Junedi, Query-Update Independence Analysis under Constraints , since October 2012, C. Roisin and N. Layaïda

Juries

• PhD: B.  Baccot, 23 November 2012, University of Toulouse (C. Roisin as reviewer).

• PhD: T.N. Luong, 12 December 2012, University of Pau (C. Roisin as reviewer).